$\forall$$n$, $m$:$\mathbb{N}$, $f$, $i$:Top. ($f$$^{\mbox{\scriptsize $n$+$m$}}$($i$)) $\sim$ ($f$$^{\mbox{\scriptsize $n$}}$($f$$^{\mbox{\scriptsize $m$}}$($i$)))